Homotopy type theory - PDFSEARCH.IO - Document Search Engine

Homotopy type theory
Results: 77

#	Item
71	J. Daniel Christensen Department of Mathematics The University of Western Ontario London, Ontario N6A 5B7 http://jdc.math.uwo.ca [removed[removed]x86530 Add to Reading List Source URL: jdc.math.uwo.ca Language: English - Date: 2014-03-27 22:24:43 Jack Morava Algebraic topology Homotopy type theory Phantom map Homotopy category Book:M-Theory Peter Hilton Homotopy theory Topology Mathematics
72	Voevodsky’s Univalence Axiom in Homotopy Type Theory Steve Awodey, Álvaro Pelayo, and Michael A. Warren T Add to Reading List Source URL: www.ams.org Language: English - Date: 2013-09-09 12:55:06 Homotopy type theory Homotopy group Homotopy Model category Vladimir Voevodsky Mathematical logic Type theory Algebraic topology Homotopy category Homotopy theory Topology Mathematics
73	Voevodsky’s Univalence Axiom in Homotopy Type Theory Add to Reading List Source URL: e-math.ams.org Language: English - Date: 2013-09-09 12:55:06 Homotopy type theory Homotopy group Homotopy Model category Vladimir Voevodsky Mathematical logic Type theory Algebraic topology Homotopy category Homotopy theory Topology Mathematics
74	Homotopy type of differentiable manifolds William Browder Add to Reading List Source URL: www.maths.ed.ac.uk Language: English - Date: 2012-12-26 13:07:07 Differential topology Algebraic topology Differential geometry Surgery theory Geometric topology Differentiable manifold Fiber bundle Diffeomorphism Stable normal bundle Topology Mathematics Mathematical analysis
75	Univalent Foundations of Mathematics Talk by Vladimir Voevodsky September 5 , 2011 Add to Reading List Source URL: www.math.ias.edu Language: English - Date: 2011-12-13 11:34:22 Category theory Topology Higher category theory Algebraic structures Type theory Zermelo–Fraenkel set theory Groupoid Set theory New Foundations Mathematics Abstract algebra Homotopy theory
76	TYPE THEORY AND HOMOTOPY STEVE AWODEY Add to Reading List Source URL: www.andrew.cmu.edu Language: English - Date: 2013-10-13 15:36:04 Mathematics Model category Groupoid Homotopy Weak equivalence Fundamental group Simplicial set Fibration Algebraic topology Homotopy theory Topology Abstract algebra
77	PDF Document Add to Reading List Source URL: hottheory.files.wordpress.com Language: English - Date: 2012-08-28 12:41:06 Logic Intuitionistic type theory Function Homotopy type theory Dependent type Interpretation Field Subtype polymorphism Lambda calculus Mathematical logic Mathematics Type theory

UPDATE